Par définition, les langages acceptés par un automate fini sont appelés les langages reconnaissables. 被自动机接受的语言叫做可识别语言。
Dans le cas d'un automate fini non déterministe (NFA), une nouvelle entrée peut mettre la machine dans de multiples états, d'où son nom de non-déterministe. 对于非确定有限自动机(NFA),一个新输入可以导致机器进入多于一个状态,因此是非确定性的。